program correctness
美
英 
英汉解释
例句
Side effects complicate the math required to prove program correctness.
副作用把验证程序正确的数学问题复杂化。
Model and Algorithm Designing of the Proof of Program Correctness Based on XML Syntax Trees
基于语法树的程序正确性验证模型及算法设计
A Developing Method of Programs Based on the Proof Theoryof Program Correctness
一种基于程序正确性证明理论的程序开发方法